Prémio Lévi-Strauss (ABA)

Aba+

We present ABA, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA, preference information given over assumptions is incorporated directly into the attack relation, thus resulting in attack reversal. ABA conservatively extends ABA and exhibits various desirable features regarding relationship among argumentatio...

Churg-Strauss syndrome.

Strauss: a Specification Miner

Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...

Churg-strauss syndrome.

First described in 1951 as an allergic and granulomatous angiitis, Churg-Strauss syndrome (CSS) is a small-vessel vasculitis. Mean age at the time of diagnosis is approximately 50 years, with a sex ratio around 1. Asthma is the central feature of CSS and precedes the systemic manifestations in almost all cases, whereas 70% of the patients have maxillary sinusitis, allergic rhinitis, and/or sinu...

Churg-Strauss Syndrome

Pulmonary: asthma, pneumonitis and haemoptysis. Upper respiratory tract: allergic rhinitis, paranasal sinusitis, nasal polyposis. Cardiac involvement is common. [6]This includes heart failure, myocarditis and myocardial infarction. [7] Skin: purpura, skin nodules, leukocytoclastic angiitis with palpable purpura, livedo reticularis, urticaria, necrotic bullae and digital ischaemia. Renal: glomer...